<?php

function milis_to_time($input)
{
	$uSec = sprintf("%03d",$input % 1000);
	$input = floor($input / 1000);

	$seconds =sprintf("%02d", $input % 60);
	$input = floor($input / 60);

	$minutes = sprintf("%02d", $input % 60);
	$input =floor($input / 60);

	return $minutes.":".$seconds.".".$uSec; 
}
